| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Praktikum | Agile development of a theory solver for SMT | Praktikum | 7 | 277995 | ||
| Augmented Reality Lab | Praktikum | 7 | 360729 | |||
| Autonomous Driving Lab | Praktikum | 7 | 283709 | |||
| Digitalisierung der Produktion | Praktikum | 7 | 353051 | |||
| Game Development | Praktikum | 7 | 350124 | |||
| Graph Learning | Praktikum | 7 | 350756 | Mo 16:30-18:00 Seminarraum i7, Raum 4116 (2353|116) (×5) Di 16:30-18:00 Seminarraum i7, Raum 4116 (2353|116) (×1) Fr 14:00-15:00 Seminarraum i7, Raum 4116 (2353|116) (×1) | ||
| Heliostat Calibration with Drones in Solar Tower Power Plants | Praktikum | 7 | 283227 | |||
| Informationsmanagement für öffentliche Mobilitätsangebote | Proseminar | 7 | 354295 | |||
| Knowledge Graph Lab | Praktikum | 7 | 360520 | |||
| Modeling software functions of automotive systems with SysML | Praktikum | 7 | 278811 | |||
| Process Conformance Checking in Python | Praktikum | 7 | 353780 | |||
| Process Discovery Using Python | Praktikum | 7 | 353781 | |||
| Projektmodul: OR-Praktikum | Projekt | 7 | 282968 | Do 16:30-18:00 B201 (3011|201) (×1) | ||
| Selected Topics in Renewable Energy | Praktikum | 7 | 277500 | |||
| Software Lab in Bioinformatics | Praktikum | 7 | 335022 | Mo 09:30-12:30 Extern (×11) | ||
| Seminar Informatik | Aktuelle Themen der Algorithmik (Bachelor) | Seminar | 5 | 360523 | Mo 10:00-13:00 Seminarraum i1, Raum 4017 (2353|017) (×1) Di 10:00-13:00 Seminarraum i1, Raum 4017 (2353|017) (×1) Di 10:30-15:30 Seminarraum i1, Raum 4017 (2353|017) (×1) Mi 10:00-13:00 Seminarraum i1, Raum 4017 (2353|017) (×1) Fr 14:30-17:30 Seminarraum i1, Raum 4017 (2353|017) (×1) | |
| Aktuelle Themen in der Fluidanimation | Seminar | 5 | 278775 | Mi 14:30-16:00 9220 (2359|220) (×1) Do 09:00-12:00 9220 (2359|220) (×3) | ||
| Ausgesuchte Themen zur Eingebetteten Software | Seminar | 5 | 283627 | |||
| Current Topics in Computer Graphics and Geometry Processing | Seminar | 5 | 281327 | Do 10:00-12:00 2359|118 (×1) | ||
| Current Topics in Technology Enhanced Learning: Blended Learning in (Higher) Education | Seminar | 5 | 281530 | Mi 13:30-17:00 5055 (2356|055) (×1) | ||
| Evaluating model-driven systems engineering techniques for cyber-physical systems | Seminar | 5 | 282973 | |||
| Formal Aspects of Software and Systems Engineering | Seminar | 5 | 282753 | |||
| Informationsmanagement für öffentliche Mobilitätsangebote | Proseminar | 5 | 354295 | |||
| Kryptographie und IT-Sicherheit | Seminar | 5 | 360506 | Mo 11:00-12:00 Ort/Zeit noch nicht bekannt (×1) | ||
| Model-Based Assistance and E-Health | Seminar | 5 | 361404 | |||
| Numerische Bibliotheken | Seminar | 5 | 277878 | |||
| Post-Desktop User Interfaces | Seminar | 5 | 283703 | Do 14:30-16:00 Seminarraum Informatik 10 (2350|222) (×5) | ||
| Satisfiability Checking | Seminar | 5 | 279666 | Do 10:30-12:00 5055 (2356|055) (×1) | ||
| Selected Topics in Human Language Technology and Pattern Recognition | Seminar | 5 | 361073 | Di 10:00-12:00 2356|124 (×1) Mi 15:00-18:00 2356|124 (×1) Do 10:00-12:00 2356|124 (×2) | ||
| Selected Topics in Process Mining | Seminar | 5 | 353782 | |||
| Seminar (Selected Topics in Agent Behaviour Modelling) | Seminar | 5 | 279173 | |||
| Seminar Current Topics in Computer Vision and Machine Learning (Master seminar) | Hauptseminar | 5 | 392325 | |||
| Seminar Important Developments in Computer Vision and Machine Learning (Bachelor seminar) | Hauptseminar | 5 | 392311 | |||
| Seminar Komplexitätstheorie | Seminar | 5 | 350757 | |||
| Seminar Komplexitätstheorie II | Seminar | 5 | 362384 | |||
| Seminar zur Computergestützten Mathematischen Modellierung | Seminar | 5 | 278780 | |||
| Seminar: Advanced Internet Technology | Seminar | 5 | 280102 | |||
| Seminar: Aktuelle Themen der Virtuellen Realität | Seminar | 5 | 282101 | |||
| Seminar: Aktuellen Themen im Bereich Hochleistungsrechnen (HPC) | Seminar | 5 | 280402 | |||
| Seminar: Internet Technology | Seminar | 5 | 278826 | |||
| Seminars on Internet Technology and Advanced Internet Technology | Seminar | 5 | 362202 | |||
| Verification and Static Analysis of Software | Seminar | 5 | 283169 | |||
| Verifikationsverfahren | Seminar | 5 | 362658 | |||
| Web Science Seminar | Seminar | 5 | 281411 |